Breaks

??=[basics.breaks] It is also possible to `break' an arrow with a label using the character ??c![|]:
\begin{code} \diagram A \rto\vert f & B \enddiagram \end{code}
will set

$\displaystyle \docode$

If you just want an empty break you should use the special ??c![] break: the arrow
\begin{code} \diagram A \rto\vert\hole & B \enddiagram \end{code}
was typeset by including in the text. You may mix a break with other labels, but the break should always be last. There is more on breaks in section ??[arrows.tips].


\begin{exercise} \begin{code} \begin{displaymath}\diagram A \dto_f \rto^f & B \... ... {\docode}% \answercode \answertext{The author used \displaycode} \end{exercise}